PhilosophyIdeas
.com Database
|
Current Total Ideas:
22,104
|
home
|
back
Ideas from 'Investigations into Logical Deduction' by Gerhard Gentzen [1935], by Theme Structure
green numbers give full details |
back to texts
|
expand this idea
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13832
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool)
[Hacking]